A Prototype Tool Set for Interworkings
نویسندگان
چکیده
The interworking language provides a graphical method for the description of synchronous interactions between system components. In this paper we give an overview of the language and discuss the prototype tool set which has been developed to support the use of interworkings.
منابع مشابه
Empty Interworkings and Reenement Semantics of Interworkings Revised
The semantics for Interworkings from MvWW93] does not give a proper meaning to empty entities and empty Interworkings. Furthermore, the process algebra considered has to be extended in order to deene reenement of Interworkings. For these purposes we give a revision and extension of the semantics.
متن کاملSimulation Calibration of an Extensive Air Shower array, by a logged data set of its small prototype
Alborz observatory is an EAS array in the heights of Alborez mountain chain near Tehran. For the development of the array, more number of detectors is inevitable. The managing the financial resources and achieving the highest efficiency of the array is important for the project. Therefore, Water Cherenkov Detectors has been used for 9 months in the same way as the previous experiment with Scint...
متن کاملOn generating synchronous interworkings from PSF process traces
Synchronous interworkings are a specification formalism on their own right, but might also be of help when analysing processes and process traces. In this paper the processes are specified in PSF and traces are PSF process traces. The main part of this paper is concerned with the definition of the notions needed to perform the generation of interworkings from traces and the conditions under whi...
متن کاملDevelopment of a prototype stereotactic collimation assembly for Neptun 10 PC linac
Background: A set of hardware stereotactic radiosurgery is designed and constructed. The scope of this article is to describe how we have designed and developed stereotactic collimation assembly for a 9 MV Neptun 10 PC linac. Materials and methods: One collimator holder and six collimators were made, with their radiation field diameter between 12.5 mm to 25 mm at isocenter level. Beam data, suc...
متن کاملEmulation, Model Identification and New-approach Characterization of a PV Panel (TECHNICAL NOTE)
This paper provides experimental and simulation tools to characterize a Photo-Voltaic (PV) panel. To achieve this objective, we start from a PV electrical model and we propose a circuit using Diode-based-equivalent PV (DBEPV) panel. This circuit is presented as a prototype of an equivalent PV panel. It is designed to emulate a real PV module in different climatic conditions (irradiance and temp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993